existential quantifier
noun
: a quantifier (such as for some in "for some x, 2x + 5 = 8") that asserts that there exists at least one value of a variable
called also existential operator
Love words? Need even more definitions?
Merriam-Webster unabridged
Share